differential manifold